منابع مشابه
Programming in Icon; Part I — Programming with Generators Programming in Icon; Part I — Programming with Generators
1. Introduction The Icon programming language [1] contains a number of features that are unusual and that are not found in most other programming languages. As a result, Icon encourages programming techniques that are distinctly different from those that are possible in more conventional programming languages. Not all of these techniques are obvious. Indeed, experience with other programming la...
متن کاملSmart test data generators via logic programming
We present a novel counterexample generator for the interactive theorem prover Isabelle based on a compiler that synthesizes test data generators for functional programming languages (e.g. Standard ML, OCaml) from specifications in Isabelle. In contrast to naive type-based test data generators, the smart generators take the preconditions into account and only generate tests that fulfill the pre...
متن کاملExtending Dynamic-Programming-Based Plan Generators: Beyond Pure Enumeration
The query optimizer plays an important role in a database management system supporting a declarative query language, such as SQL. One of its central components is the plan generator, which is responsible for determining the optimal join order of a query. Plan generators based on dynamic programming have been known for several decades. However, some significant progress in this field has only be...
متن کاملEvolving More Random Number Generators Using Genetic Programming
This paper is based largely on, and is intended to be an improvement of, John Koza's paper "Evolving a Computer Program to Generate Random Numbers Using the Genetic Programming Paradigm" (1991). It describes an application of the Genetic Programming concept to the creation of Pseudo-Random Number generators(PRNGs). Evolutionary operators are applied to each expression tree, which represents a p...
متن کاملDesign Wizards and Visual Programming Environments for GenVoca Generators
Domain-specific generators will increasingly rely on graphical languages for declarative specifications of target applications. Such languages will provide front-ends to generators and related tools to produce customized code on demand. Critical to the success of this approach will be domain-specific design wizards, tools that guide users in their selection of components for constructing partic...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Computer Journal
سال: 1988
ISSN: 0010-4620,1460-2067
DOI: 10.1093/comjnl/31.3.220